<html>
<head><meta charset="utf-8"><title>priroda/pr/12 · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/priroda.2Fpr.2F12.html">priroda/pr/12</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="136115886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/priroda/pr/12/near/136115886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/priroda.2Fpr.2F12.html#136115886">(Oct 19 2018 at 14:45)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> does <a href="https://github.com/oli-obk/priroda/pull/12/files?utf8=%E2%9C%93&amp;diff=unified&amp;w=1#r226672681" target="_blank" title="https://github.com/oli-obk/priroda/pull/12/files?utf8=%E2%9C%93&amp;diff=unified&amp;w=1#r226672681">this hack</a> for getting access to the entire allocation map seem reasonable?</p>



<a name="136117650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/priroda/pr/12/near/136117650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/priroda.2Fpr.2F12.html#136117650">(Oct 19 2018 at 15:12)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@Oli</span> not sure what I am looking at, that code is commented out?</p>



<a name="136117702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/priroda/pr/12/near/136117702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/priroda.2Fpr.2F12.html#136117702">(Oct 19 2018 at 15:13)</a>:</h4>
<p>oh, I am supposed to read the text, not the code</p>



<a name="136117714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/priroda/pr/12/near/136117714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/priroda.2Fpr.2F12.html#136117714">(Oct 19 2018 at 15:13)</a>:</h4>
<p>is read-only access sufficient? then I think I'd prefer a getter</p>



<a name="136119091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/priroda/pr/12/near/136119091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/priroda.2Fpr.2F12.html#136119091">(Oct 19 2018 at 15:34)</a>:</h4>
<p>yea, read only is sufficient</p>



<a name="136119095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/priroda/pr/12/near/136119095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/priroda.2Fpr.2F12.html#136119095">(Oct 19 2018 at 15:34)</a>:</h4>
<p>ok</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>